A model-driven approach to survivability requirements assessment for critical systems

Survivability is a crucial property for those systems – such as critical infrastructures or military Command and Control Information Systems – that provide essential services, since the latter must be operational even when the system is compromised due to attack or faults. This article proposes a model-driven method and a tool –MASDES– to assess the survivability requirements of critical systems. The method exploits the use of (1) (mis)use case technique and UML profiling for the specification of the survivability requirements and (2) Petri nets and model checking techniques for the requirement assessment. A survivability assessment model is obtained from an improved specification of misuse cases, which encompasses essential services, threats and survivability strategies. The survivability assessment model is then converted into a Petri net model for verifying survivability properties through model checking. The MASDES tool has been developed within the Eclipse workbench and relies on Papyrus tool for UML. It consists of a set of plug-ins that enable (1) to create a survivability system view using UML and profiling techniques and (2) to verify survivability properties. In particular, the tool performs model transformations in two steps. First, a model-to-model transformation generates, from the survivability view, a Petri net model and properties to be checked in a tool-independent format. Second, model-to-text transformations produce the Petri net specifications for the model checkers. A military Command and Control Information Systems has been used as a case study to apply the method and to evaluate the MASDES tool, within an iterative-incremental software development process

Sistemas de información para la dirección : un enfoque guiado por un caso de estudio

Las tecnolog ́ıas de la informaci ́on y las comunicaciones se han convertido en el gran dinamizador social, econ ́omico y de las organizaciones en el final del pasado siglo e inicios del XXI. Refiri ́endonos al caso de las organizaciones, las TIC han cambiado el modo de relaci ́on entre sus miembros, han contribuido a cambiar su estructura interna y su control, y tambi ́en les plantean retos actuales como el manejo de las ingentes cantidades de datos que pueden recopilar acerca de su entorno. Hablando de organizaciones, los t ́erminos procesos de direcci ́on y sistemas de informaci ́on pueden considerarse absolutamente intricados. No hay organizaci ́on pu ́blica ni privada que aspire a altos niveles de eficacia, eficiencia y calidad que no considere su sistema o sistemas de informaci ́on un elemento clave para el soporte de la planificaci ́on, la toma de decisiones y el control de la organizaci ́on. Esta es la raz ́on de ser de una asignatura como Sistemas de Informaci ́on para la Direcci ́on en carreras en las que sus titulados aspiran a tomar parte en la gesti ́on y direcci ́on de empresas y organizaciones, como es el caso de la Ingenier ́ıa de Organizaci ́on Industrial que se imparte en el Centro Universitario de la Defensa. Las profesoras Bernardi y Dranca han configurado una propuesta original de asignatura, bien contextualizada para la formaci ́on de los Oficiales del Ej ́ercito de Tierra, y en la que emplean una metodolog ́ıa que permite formar a los alumnos en competencias que no son s ́olo las propias de la disciplina, pues el trabajo en equipo y el m ́etodo del caso se aplican para obtener resultados rigurosos. Aludir a la cuesti ́on metodol ́ogica es relevante, pues el manual que ellas han elaborado no se limita a abordar una serie de contenidos de la disciplina, sino que est ́a marcado por una metodolog ́ıa docente de primer nivel, de manera que constituya la mejor herramienta para el alumno de la asignatura. Es un motivo de satisfacci ́on dar la bienvenida a este nuevo nu ́mero de la colecci ́on de textos docentes del CUD que sirve de soporte a la asignatura Sistemas de Informaci ́on para la Direcci ́on. Pero este manual no va a ser solo una ayuda para los alumnos del centro, puede ser tambi ́en una adecuada referencia para profesores y alumnos de asignaturas de muchas otras titulaciones, precisamente por el inter ́es de su propuesta. La implantaci ́on de sistemas de informaci ́on en las organizaciones, las herramientas de explotaci ́on de bases de datos, y las herramientas de inteligencia del entorno son en muy grandes rasgos tres de los aspectos que esta ́n cubiertos en el libro. Estoy seguro de que el libro va a resultar del m ́aximo inter ́es para el lector y el usuarioSistemas de información para la dirección : un enfoque guiado por un caso de estudi

Estudio sobre la aplicación del acuerdo de estandarización STANAG 4609 en fuentes de video no MAJIIC

En la actualidad la creciente colaboración entre los países miembros de la OTAN hacen necesaria la creación de procedimientos y tácticas comunes que contribuyan a alcanzar una sinergia de esfuerzos. Este hecho también se ve reflejado a la hora de compartir información por lo que es necesaria la implementación de herramientas que permitan compartir la información de manera eficaz. Para ello se creó la Agencia de Estandarización de la OTAN que a través de STANAGs define las bases para dicha interoperabilidad. La información puede ser compartida gracias a los Sistemas MAJIIC, que están formados por siete STANAGs. En concreto el STANAG 4609 indica cómo deben de ser los formatos de vídeo que puedan ser compartidos en MAJIIC. Actualmente en el Ejército de Tierra sólo el vídeo obtenido por el vehículo aéreo no tripulado PASI cumple con lo establecido en el STANAG 4609, sin embrago la solución que se aplicó al PASI no es transferible al formato de vídeo de otros sistemas. El objeto de este Trabajo de Fin de Grado es el estudio sobre la aplicación del STANAG 4609 en los formatos de vídeo que captan el VERT y el vehículo aéreo no tripulado RAVEN. Se busca encontrar una solución que pueda adaptar el formato de vídeo de estos sistemas para que cumplan el STANAG, tal y como sucede con el PASI. En concreto, en este Trabajo de Fin de Grado se analizan las características de los formatos de vídeo que establece el STANAG 4609 y se comparan con las características del vídeo del RAVEN y del VERT. Se identifican los factores que se deben de adaptar y se realiza un estudio para solucionar cada uno de ellos de la forma que mejor satisfagan la necesidad de disponer de información fiable y en el momento adecuado.  <br /

Lexico-Semantic Relation Classification with Multilingual Finetuning

Following the research line of lexico-semantic relation induction based on Language Models (LM) [4, 1, 5], this work analyses how the multilingual fine-tuning of a LM might improve its performance on a relation classification task. The model is trained on a set of word pairs which share a known relation (e.g., Big–small, antonymy). Then, it is used to classify the relation between an unseen word pair. Our hypothesis is that enriching this training with multilingual information benefits the classification of lexico-semantic relations that are common in several languages

Integración de diferentes dominios de seguridad: aplicación en sistemas militares

Los dos sistemas de información para el mando y control principales en el Ejército de Tierra son, el Sistema de Información para el Mando y Control del Ejército de Tierra (SIMACET o SC2NET-D) y el Battlefield Management System (BMS). La intención del Ejército, es acreditar ambos sistemas, en un primer momento SIMACET a nivel RESERVADO y dejar BMS SIN CLASIFICAR. Esto supondría un problema para la transmisión de datos entre los dos sistemas, ya que actualmente intercambian información mediante dos pasarelas (COE e IDT), las cuales no cumplen los requisitos de seguridad necesarios.Por ello, este trabajo, se trata de una búsqueda de una solución segura que integre los dominios de seguridad de los dos sistemas de información mencionados. Para lograrlo, se ha seguido una metodología de búsqueda de información, entrevistas a personal experto y contactos con empresas del sector, tras todo ello, se realizó una comparativa de las posibles soluciones encontradas y se propuso una solución viable para el problema planteado. La mejor solución resultó ser la implementación de un diodo de datos, en concreto el PSTdiode de la empresa Autek. Además, se propone un método para implementar el diodo en una brigada del Ejército de Tierra acorde a las guías del Centro Criptológico Nacional y sin adquirir más material que los diodos. Finalmente se proponen dos posibles líneas de trabajo futuras: la resolución de un escenario SIMACET RESERVADO y BMS DIFUSIÓN LIMITADA (requeriría otro dispositivo distinto) y el desarrollo o adquisición de firewalls para el Ejército de Tierra.<br /

Estudio del aumento de la operatividad de una Unidad tipo Grupo a través de la digitalización de procesos

El objetivo de este trabajo es identificar, analizar y proponer mejoras basadas en el uso de las TIC (Tecnologías de la Información y Comunicación) de los diferentes procesos de gestión que se llevan a cabo en una Unidad tipo Grupo, con el fin de reducir el número de horas, así como el número de personas empleadas en dichas actividades.<br /

Virtualización de la Estación Central del subsistema de No-Telecomunicaciones GESTA

El exponencial desarrollo tecnológico que se está viviendo en el nuevo siglo está obligando a todo tipo de empresas y organizaciones a mejorar sus sistemas con nuevas tecnologías. Una de las tecnologías que se está expandiendo por su gran versatilidad es la virtualización de sistemas. Con objeto de mejorar las capacidades que proporciona el subsistema de No-Telecomunicaciones de GESTA al Regimiento de Guerra Electrónica 31, se plantea: mejorar la movilidad de la Compañía de No-Telecomunicaciones, por ende del Batallón de Guerra Electrónica I/31, con la utilización de equipos de menor tamaño; aumentar el rendimiento del sistema; reducir problemas de mantenimiento; y reducir el consumo energético de la estación vehicular sobre la que van montados dichos equipos. Para alcanzar este objetivo principal se propone realizar la virtualización de los puestos de operador de la Estación Central (EC) del subsistema de No-Telecomunicaciones de GESTA.Mediante el estudio del funcionamiento de la Estación Central de No-Telecomunicaciones y a la realización de encuestas al personal de la unidad, se han identificado los problemas de la estación y cuáles pueden ser solventados con la virtualización de la estación. Gracias a ello, se ha podido planificar el proceso de virtualización y se han destacado los materiales que pueden ser eliminados por su obsolescencia, cuales se mantienen y los nuevos materiales a adquirir.Este hecho ha llevado a la realización de un estudio de mercado en el que se han buscado elementos software y hardware. Se ha propuesto un servidor que sustituye a los puestos de operador en cuanto a hardware se refiere. Además, se ha buscado el software necesario para la realización de la virtualización de los puestos de operador, incluyéndose tres software para acciones distintas en este trabajo. Uno que creará una imagen virtual de cada puesto de operador, un segundo que convertirá su formato de archivo y el último que gestionará las máquinas virtuales creadas sobre el servidor a adquirir. A esto se suma la propuesta de adquisición de un rack de servidores para proteger los equipos que componen la estación central de No-Telecomunicaciones. Con ello se ha conseguido reducir el tamaño de la plataforma de la Estación Central, pudiendo ser transportada por cualquier vehículo ligero.Estos elementos marcados en el diseño de la solución de virtualización de la estación central han permitido alcanzar los objetivos marcados, demostrándose con pruebas de conectividad y funcionamiento de las aplicaciones en las nuevas máquinas creadas. A esto se han sumado algunos problemas que han obligado a modificar la planificación inicial, pero se han podido cumplir finalmente los objetivos propuestos. Posteriormente, se han podido analizar los elementos que han aportado nuevas ventajas a la estación central tras la virtualización. Además, se ha podido demostrar que la virtualización de la Estación Central del subsistema de No-Telecomunicaciones permitirá alargar el ciclo de vida del sistema GESTA por la obsolescencia de sus equipos, hasta que este sistema sea sustituido por otro mucho más moderno. <br /

Using Kinect to classify Parkinson’s disease stages related to severity of gait impairment

Published: 10 December 2018Parkinson’s Disease (PD) is a chronic neurodegenerative disease associated with motor problems such as gait impairment. Different systems based on 3D cameras, accelerometers or gyroscopes have been used in related works in order to study gait disturbances in PD. Kinect Ⓡ has also been used to build these kinds of systems, but contradictory results have been reported: some works conclude that Kinect does not provide an accurate method of measuring gait kinematics variables, but others, on the contrary, report good accuracy results.This research work was funded by the Spanish Ministry of Economy and Competitiveness (grant FEDER/TIN2016-78011-C4-2-R). The funding bodies had no role in the design or conclusions of this study

Using Kinect to classify Parkinson's disease stages related to severity of gait impairment

Background: Parkinson’s Disease (PD) is a chronic neurodegenerative disease associated with motor problems such as gait impairment. Different systems based on 3D cameras, accelerometers or gyroscopes have been used in related works in order to study gait disturbances in PD. Kinect has also been used to build these kinds of systems, but contradictory results have been reported: some works conclude that Kinect does not provide an accurate method of measuring gait kinematics variables, but others, on the contrary, report good accuracy results. Methods: In this work, we have built a Kinect-based system that can distinguish between different PD stages, and have performed a clinical study with 30 patients suffering from PD belonging to three groups: early PD patients without axial impairment, more evolved PD patients with higher gait impairment but without Freezing of Gait (FoG), and patients with advanced PD and FoG. Those patients were recorded by two Kinect devices when they were walking in a hospital corridor. The datasets obtained from the Kinect were preprocessed, 115 features identified, some methods were applied to select the relevant features (correlation based feature selection, information gain, and consistency subset evaluation), and different classification methods (decision trees, Bayesian networks, neural networks and K-nearest neighbours classifiers) were evaluated with the goal of finding the most accurate method for PD stage classification. Results: The classifier that provided the best results is a particular case of a Bayesian Network classifier (similar to a Naïve Bayesian classifier) built from a set of 7 relevant features selected by the correlation-based on feature selection method. The accuracy obtained for that classifier using 10-fold cross validation is 93.40%. The relevant features are related to left shin angles, left humerus angles, frontal and lateral bents, left forearm angles and the number of steps during spin. Conclusions: In this paper, it is shown that using Kinect is adequate to build a inexpensive and comfortable system that classifies PD into three different stages related to FoG. Compared to the results of previous works, the obtained accuracy (93.40%) can be considered high. The relevant features for the classifier are: a) movement and position of the left arm, b) trunk position for slightly displaced walking sequences, and c) left shin angle, for straight walking sequences. However, we have obtained a better accuracy (96.23%) for a classifier that only uses features extracted from slightly displaced walking steps and spin walking steps. Finally, the obtained set of relevant features may lead to new rehabilitation therapies for PD patients with gait problems

ANALISIS FORENSE DEL SISTEMA ANDROID

El objetivo principal de este proyecto es el de analizar en profundidad la capacidad de realizar un análisis forense a un dispositivo con sistema Android a través de una herramienta comercial. Se comparará ésta herramienta con otras herramientas que un usuario normal podría tener acceso de manera gratuita a través de internet. Esto nos permitirá saber cuánta información podremos extraer en comparación con un usuario normal. En cuanto los problemas abordados destacaremos la necesidad de tener que extraer toda la información posible de un dispositivo móvil con sistema Android para poder llevar a cabo procesos de investigación.<br /